direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Java Goes TLA+
Zitatschlüssel conf/tase/LauN11
Autor Lau, Hannes and Nestmann, Uwe
Buchtitel TASE
Seiten 117-124
Jahr 2011
ISBN 978-1-4577-1487-0
Monat 8
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe